Module = MODULE ident ";"  DeclSeq StatementSeq  StatementSeq  END ident ".".
ImportList = IMPORT ":="  ident  ";".
DeclSeq =  .
ConstDecl = IdentDef "=" ConstExpr.
TypeDecl = IdentDef "=" Type.
VarDecl = IdentList ":" Type.
ProcDecl = PROCEDURE  IdentDef  MethAttributes .
MethAttributes = NEW  (ABSTRACT | EMPTY | EXTENSIBLE) .
ForwardDecl = PROCEDURE " ^ "  IdentDef  MethAttributes.
FormalPars = "("  ")" Type .
FPSection = | IN | OUT  ident  ":" Type.
Receiver = "(" | IN  ident ":" ident ")".
Type = Qualident
    | ARRAY  OF Type
    | | EXTENSIBLE | LIMITED  RECORD  FieldList  END
    | POINTER TO Type
    | PROCEDURE .
FieldList = ":" Type .
StatementSeq = Statement .
Statement = 
    | IF Expr THEN StatementSeq
        
        StatementSeq  END
    | CASE Expr OF Case 
        StatementSeq  END
    | WHILE Expr DO StatementSeq END
    | REPEAT StatementSeq UNTIL Expr
    | FOR ident ":=" Expr TO Expr ConstExpr  DO StatementSeq END
    | LOOP StatementSeq END
    | WITH Guard DO StatementSeq   StatementSeq  END
    | EXIT
    | RETURN 
    ].
Case =  ":" StatementSeq .
CaseLabels = ConstExpr ConstExpr .
Guard = Qualident ":" Qualident.
ConstExpr = Expr.
Expr = SimpleExpr SimpleExpr .
SimpleExpr = | "-"  Term .
Term = Factor .
Factor = Designator | number | character | string | NIL | Set | "(" Expr ")" | " ~ " Factor.
Set = "".
Element = Expr Expr .
Relation = "=" | "#" | "<" | "<=" | ">" | ">=" | IN | IS.
AddOp = "+" | "-" | OR.
MulOp = " 
* " | "/" | DIV | MOD | "&".
Designator = Qualident  "$" .
ExprList = Expr .
IdentList = IdentDef .
Qualident = "."  ident.
IdentDef = ident 
* " | "-" .